Pseudofinite and Pseudocompact Metric Structures
نویسندگان
چکیده
We initiate the study of pseudofiniteness in continuous logic. We introduce a related concept, namely that of pseudocompactness, and investigate the relationship between the two concepts. We establish some basic properties of pseudofiniteness and pseudocompactness and provide many examples. We also investigate the injective-surjective phenomenon for definable endofunctions in pseudofinite structures.
منابع مشابه
The Urysohn Sphere Is Pseudofinite
We show that the Urysohn sphere is pseudofinite. As a consequence, we derive an approximate 0-1 law for finite metric spaces of diameter at most 1.
متن کاملSome results and problems about weakly pseudocompact spaces
A space X is truly weakly pseudocompact if X is either weakly pseudocompact or Lindelöf locally compact. We prove: (1) every locally weakly pseudocompact space is truly weakly pseudocompact if it is either a generalized linearly ordered space, or a protometrizable zero-dimensional space with χ(x,X) > ω for every x ∈ X; (2) every locally bounded space is truly weakly pseudocompact; (3) for ω < κ...
متن کاملStrongly minimal pseudofinite structures
In this note we point out that any strongly minimal pseudofinite structure (or set) is unimodular in the sense of [1], [5], [2], and hence measurable in the sense of Macpherson and Steinhorn [3], [2] as well as 1-based. The argument, involving nonstandard finite cardinalities, is straightforward. A few people asked about this issue in private conversations and communications, in particular Mart...
متن کاملPseudofinite groups with NIP theory and definability in finite simple groups
We show that any pseudofinite group with NIP theory and with a finite upper bound on the length of chains of centralisers is soluble-by-finite. In particular, any NIP rosy pseudofinite group is soluble-by-finite. This generalises, and shortens the proof of, an earlier result for stable pseudofinite groups. An example is given of an NIP pseudofinite group which is not soluble-by-finite. However,...
متن کاملExtremal pseudocompact Abelian groups : A unified treatment
The authors have shown [Proc. Amer. Math. Soc. 135 (2007), 4039– 4044] that every nonmetrizable, pseudocompact abelian group has both a proper dense pseudocompact subgroup and a strictly finer pseudocompact group topology. Here they give a comprehensive, direct and self-contained proof of this result.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 56 شماره
صفحات -
تاریخ انتشار 2015